<?php
$a = 20..0; // dois pontos com float
?>